Craig interpolation - PDFSEARCH.IO - Document Search Engine

Craig interpolation
Results: 35

#	Item
11	On interpolation in decision procedures⋆ Maria Paola Bonacina and Moa Johansson Dipartimento di Informatica, Universit` a degli Studi di Verona Strada Le Grazie 15, IVerona, Italy Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-03-21 07:54:00 Automated theorem proving Logic in computer science Boolean algebra Electronic design automation Formal methods Craig interpolation Boolean satisfiability problem Unit propagation Resolution Interpolation Propositional calculus Satisfiability modulo theories
12	SOCIAL GROUPING FOR TARGET HANDOVER IN MULTI-VIEW VIDEO Zhen Qin Christian R. Shelton Lunshao Chai∗ Add to Reading List Source URL: rlair.cs.ucr.edu Language: English - Date: 2013-03-14 16:02:04 Mathematical logic Craig interpolation Lemmas Interpretation Match moving Distribution Linear temporal logic
13	INVESTIGATION OF BACK-OFF BASED INTERPOLATION BETWEEN RECURRENT NEURAL NETWORK AND N-GRAM LANGUAGE MODELS X. Chen, X. Liu, M. J. F. Gales, and P. C. Woodland University of Cambridge Engineering Department, Cambridge, U.K Add to Reading List Source URL: mi.eng.cam.ac.uk Language: English - Date: 2016-03-11 05:30:19 Computational linguistics Artificial neural networks Artificial intelligence Interpolation Statistical natural language processing Recurrent neural network Language model Linear interpolation N-gram Speech recognition Craig interpolation
14	Efficient Reasoning With Consistent Proper Epistemic Knowledge Bases Christian Muise, Tim Miller, Paolo Felli, Adrian R. Pearce, Liz Sonenberg Department of Computing and Information Systems, University of Melbourne {ch Add to Reading List Source URL: www.haz.ca Language: English - Date: 2015-02-22 18:34:09 IP Symbol Mathematical logic Distribution Model theory Constructible universe Modal logic Craig interpolation Linear temporal logic
15	807 Documenta Math. Several Variables p-Adic L-Functions for Hida Families of Hilbert Modular Forms Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2012-12-12 12:22:36 Field theory Modular forms Number theory Cyclotomic fields Algebraic number theory Main conjecture of Iwasawa theory Craig interpolation Algebraic number field P-adic modular form Iwasawa theory P-adic L-function Distribution
16	The complexity of positive first-order logic without equality Florent Madelaine Univ Clermont1, EA2146, Laboratoire d’algorithmique et d’image de Clermont-Ferrand, Aubi`ere, F-63170, France. Barnaby Martin ´Equipe d Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2011-07-07 14:48:41 Functional analysis Lemmas Symbol FO IP Dual space Craig interpolation Model theory Linear temporal logic
17	Nonlinear Wavelet Image Processing: Variational Problems, Compression, and Noise Removal through Wavelet Shrinkage∗ Antonin Chambolle1 , Ronald A. DeVore2 , Nam-yong Lee3 , and Bradley J. Lucier4 Abstract This paper ex Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 1998-08-26 14:45:18 Functional analysis Signal processing Timefrequency analysis Wavelet Dual space Craig interpolation Haar wavelet Linear temporal logic Differential forms on a Riemann surface
18	A Comparison of Discrete Tidal Zoning and Tidal Constituent and Residual Interpolation (TCARI) Methodologies For Use in Hydrographic Sounding Reduction Monica Cisternelli, Craig Martin Center for Operational Oceanographi Add to Reading List Source URL: ushydro.thsoa.org Language: English
19	Craig Interpolation Theorems and Database Applications Balder ten Cate! LogicBlox & UC Santa Cruz! ! Add to Reading List Source URL: logic.berkeley.edu. Language: English - Date: 2014-11-09 02:27:37
20	Harmonious Logic: Craig’s Interpolation Theorem and its Descendants ……… Solomon Feferman Stanford University Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2007-05-15 01:54:06 Lemmas Craig interpolation Mathematical logic Symbol Model theory Phi Abstraction